The philosophical tradition says that Immanuel Kant’s critique of the theoretical reason is an attempt to epistemological foundation. The model is based on the relationship between subject and object and aims to determine the limits of the possibility of knowledge. This would follow from the Kantian denial to the pure metaphysical intelligibility. Such ontology, however, would not focus on the naming of pure objects or pure intelligibility. It is then intended to debate the possibility of a transcendental ontology that is (...) based on the objectuality of empirical objects, which points to the Heideggerian interpretation of Kantian thought. Thus, this paper hopes to contribute to the theme of the possibility of a Kantian ontology with view to the objectuality of the objects. (shrink)

The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...) to be indifferent to the influence of the practical philosophy of the Enlightenment German philosopher and theologian, Christian August Crusius. The aim of this article is thus to try to identify, taking into account the distinction of praxis in problematic and moral and the contrast between prudence and morality, some points of intersection between the moral philosophy of Crusius and Kant in its origin. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...) which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Quanto segue intende proporsi come il resoconto di una conversazione che Andrea Oliani, Bruno Cortesi e Pietro Vigiani, tutti studenti presso l’Almo Collegio Borromeo di Pavia, hanno intrattenuto con Emanuele Severino, volta ad enucleare, muovendo da spunti talvolta anche polemici, alcune delle concettualità fondanti quel corpus di dottrine che cade sotto il nome di severinismo. Severino è stato squisito nell’accoglierci e ospitarci nella sua dimora di Brescia, lucido e assolutamente puntuale nel controbattere alle nostre provocazioni. La discussione ha poi (...) trovato naturale seguito in una conferenza di carattere più divulgativo tenuta dal filosofo presso il Collegio Borromeo, dal titolo Sulla Tecnica. Severino consegue la laurea in Filosofia nel 1950 come alunno del Collegio Borromeo, discutendo una tesi intitolata Heidegger e la metafisica sotto la supervisione di Gustavo Bontadini. Solo un anno più tardi ottiene la libera docenza in filosofia teoretica. Nel 1964 pubblica lo scritto Ritornare a Parmenide, che, insieme a La Struttura Originaria rappresenta la miccia che innescherà negli anni successivi quello che molti hanno definito lo “scandalo” del severinismo. Questi scritti, come altri, posseggono una portata teorica tanto dirompente che già nel 1969, a seguito di un lungo e accurato esame condotto da Cornelio Fabro, la Chiesa cattolica proclamerà l’insanabile pposizione tra il pensiero di Severino e il Cristianesimo. Comprendere tale pensiero è cosa ardua, se prima non ci sia volti alla grecità delle origini: essa è, per Severino, il luogo ove in maniera inaudita (nel senso letterale di “mai udita prima”) viene pensato l’Incontrovertibile, il “Sempre Salvo”, ciò la cui egazione è auto-negazione, e che pertanto non può in alcun modo essere contraddetto; In altri termini: la Verità. Essa è anche stata in grado per la prima volta di concepire in maniera radicale L’Essere e il suo corrispettivo: il Niente inteso come radicale assenza di qualsiasi positività. L’aver inteso la Verità come Saphés (“Ciò che brilla di luce propria” da cui Philo-Sophìa) da un lato, e l’aver posto L’Essere e il Niente dall’altro, sono gli atti che per Severino fondano quell’immenso edificio culturale che ancora oggi domina il pianeta tutto: L’Occidente. È possibile, dunque, individuare una pars construens e una pars destruens negli scritti di Emanuele Severino: da una parte sembra che, facendo uso di un apparato logico e ontologico raffinatissimo, egli cerchi di porre in questione le categorie di pensiero occidentali risolvendo il Problema dell’Occidente alla radice, cioè eliminandolo (accenneremo a quale sia questo problema e a cosa significhi eliminarlo); in questa che è una vera e propria opera di demolizione, il Nostro (pars construens) intende mostrare come tutto quanto si mostra nell’orizzonte esperienziale sia “da sempre salvo” perché eterno. Ciò sfocia, in scritti quali Pensieri sul Cristianesimo, Technè, Il Giogo, Il Nulla e la Poesia, in una “ricostruzione” volta a mostrare come le categorie introdotte dal pensiero greco si riverberino in ogni forma della razionalità occidentale, dall’arte, alla filosofia, al diritto, alla politica, determinandone in maniera necessaria gli sviluppi. Precisiamo, per correttezza, che lo stesso non è stato rivisto da Severino. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

If different translations of the same literary work have different syntaxes and semantics, how are they supposed to be about one and the same fictional character? In order to answer this question it’s necessary to (a) know what fictional characters are and (b) present reference conditions for them. Relying on Amie Thomasson’s (1999, 2003, 2007) and Saul Kripke’s (1980, 2013) works I argue that fictional characters are abstract artifacts whose reference is fixed by the baptism performed by an author; and (...) that the identity of a fictional character is preserved due to the maintenance of the same chain of reference. Finally, I show how translators maintain the chain of reference initiated by the author of a given work and how consequently a fictional character remains the same abstract artifact throughout different translations. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

This article argues that using Joseph Raz’s service conception of authority to reject philosophical anarchism can be affected by political anarchism. Whereas philosophical anarchism only denies the authority of the state, political anarchism claims that anarchism is a better alternative to the state. Raz’s theory holds that an institution has authority if it enables people to better conform with reason. I argue that there are cases where anarchism is an existing alternative to the state and better fulfils this condition. Consequently, (...) in these cases, anarchist groups and societies and not the state have legitimate authority. When anarchism is not an existing alternative to the state, the state will, under Raz’s theory, have some legitimate authority, but that authority will be limited because anarchism remains a better possible alternative to the state. To support the political anarchist claim I discuss the anarchist collectives during the Spanish civil war, which I argue are an example of anarchism as an existing alternative to the state that better fulfils Raz’s service conception and also provide suggestive evidence that anarchism is in general a better possible alternative. I also discuss the relationship between political anarchism and authority and I argue that despite some tension they are not irreconcilable. I conclude that the interesting anarchist challenge for political theorists is political not philosophical. (shrink)

Over the last decades, the proliferation of ICTs and capitalist markets has created a new social-historical reality for communication, production and societal organisation, while social inequality has deepened. In this context, alternative forms of organisation based on the commons have emerged, challenging the core values of capitalism. Within this new form of egalitarian and transnational collaborative networks, a new concept of social coexistence has been proposed: cosmolocalism. This article presents the genealogy of cosmolocalism and compares it to previous conceptual universalist (...) reconfigurations, namely cosmopolitanism and internationalism. While the current discourse on cosmolocalism focuses on production and distribution, its political dynamics and limitations remain unexplored. Our ultimate goal is to open a path of inquiry for further reflection and deliberation. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

Contra uma leitura disseminada segundo a qual os primeiros filósofos teriam se ocupado sobretudo do princípio material das coisas existentes, o trabalho defende que a cosmologia de Anaximandro é eminentemente processual e se caracteriza por ser uma minuciosa descrição acerca do modo como estados presentes decorrem de estados passados segundo um princípio de justiça que é regulado pela “disposição do tempo”. Sua cosmologia constitui a emergência de uma nova concepção de temporalidade que não explica o que é, foi e será (...) em termos de gerações de deuses, mas em termos de processos que se sucedem; e, por conseguinte, constitui a emergência de uma certa noção de causalidade entendida como regra da sucessão. Entretanto, para Anaximandro, χρόνος não é nem o meio neutro onde ocorrem as transformações da natureza, nem designa a totalidade de três instâncias temporais (passado, presente, futuro). Antes, χρόνος é um agente regulador das transformações naturais e se identifica com os arranjos celestes. O ponto de partida da leitura aqui proposta é a contextualização do chamado fragmento DK12B1 em sua fonte doxográfica (SIMPL. in Phys. 24.13–25 = DK12A9). A leitura se guia pela compreensão da história da filosofia como uma história da recepção e não da veracidade das fontes. Para a introdução do problema, se apresenta uma breve visão geral sobre a natureza de nossas fontes e se discute os pressupostos filológico-hermenêuticos que sustentariam a pretensão histórica dos estudos pré-socráticos. A análise de SIMPL. in Phys. 24.13–25 se inicia discutindo a identificação dos referentes de certos termos anafóricos, além do escopo de abrangência do particípio τὰ ὄντα. Contra a ideia de que DK12B1 se refere ou bem a ἄπειρον ou bem a στοιχεῖα, se levanta a hipótese de que o referente em questão é οὐρανοί. Esta hipótese constitui a pedra angular da edificação argumentativa desta dissertação. (shrink)

This is a chapter on noncognitivism in a textbook on ethics.

In this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.

Can one expect religious minorities to be committed to a liberal democratic state? Can a democratic, Western, liberal state be open and safe for all – both ultra-orthodox and secular alike – and count on the allegiance of all? Does this require that religious minorities ‘hide’ their religious identity and conform to prevailing laws and customs and express their religious views and practices only in the privacy of their own homes? Or should minorities request that they receive public recognition? Ought (...) such minorities tolerate opposing views and practices on matters that are central to their faith, or should they request that these are not expressed in public? In this paper, I discuss and evaluate four possible responses to these questions. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This dissertation is about the construction of the concept of alchemy in the text named Compound of alchimy, written by English alchemist George Ripley (c.1415-c.1490). Manuscript history and circulation dates the text back to 1471. The route taken by the researcher serves two immediate purposes: the analyses of the document to verify the basis of the concept’s construction and the critique of an established historiography through a different methodological approach. The document serves as the axis of a perspective about aspects (...) of orality and scripture (from the French conception of écriture), whose intention is to open questions and bring light to unexplored points of the historiography of alchemy. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...) philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

The purpose of this article is to present the influence of Plotinus' thought on the political philosophy of the Roman Emperor Julian, between the years 361 to 363. The methodology consists of selecting excerpts from the works of Juliano Misopogon and Cartas y Fragmentos that may indicate the influence of the ideas of Plotinus' Ennead in the speech given by the Emperor to legitimize his political power. Juliano argues that the laws of the empire were created by the gods for (...) the organization of human life, so that obedience to the gods necessarily requires an obedience to those laws. According to Juliano, knowledge or episteme about the laws of empire is conditioned to the escape from sensible reality in the name of spiritual reality, in which the wise ruler also needs to transcend the body to know and obey divine laws. Thus, after analyzing Juliano's arguments, we seek to reflect on the viability of the political system adopted by him, especially if the reception of his ideas by rulers from the 20th century onwards is considered. (shrink)

Here are two plausible ideas about belief. First: beliefs are our means of storing information. Second: if we believe something, then we are willing to use it in reasoning. But in this paper I introduce a puzzle that seems to show that these cannot both be right. The solution, I argue, is a new picture, on which there is a kind of belief for each idea. An account of these two kinds of belief is offered in terms of two components: (...) a relatively stable one, which represents our information; and a more variable one, which represents what we are taking seriously. I also consider the possibility of solving the puzzle by less radical means; and an alternative argument for the proposed account of belief in terms of considerations from desire. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

O pensamento de Leibniz foi, sem dúvida, essencial para o desenvolvimento das linhas fundamentais da filosofia crítico-transcendental de Kant. A interlocução entre Kant e Leibniz é evidente no decorrer do pensamento kantiano, seja diretamente, nos diversos momentos em que Kant busca um enfrentamento explícito com seu predecessor, seja indiretamente, quando Kant discute com os autores da escolástica alemã que são considerados discípulos de Leibniz Pretendo observar, em particular, que uma das discussões pouco noticiadas, mas de grande relevância para o desenvolvimento (...) do pensamento kantiano, é aquela em relação ao problema da teodiceia. Com isso em foco, meu objetivo nesse capítulo é o de tentar mostrar alguns aspectos do diálogo de Kant com a teodiceia de Leibniz. Primeiro, apresentarei alguns aspectos da teodiceia de Leibniz. Depois, mostrarei o tratamento que Kant dispensa ao problema da teodiceia em alguns de seus escritos iniciais. Por fim, apresentarei o seu tratamento no período crítico, da maneira como se expõe em um artigo de 1791 intitulado Sobre o Fracasso de todas as Tentativas Filosóficas na Teodiceia. De modo complementar, ao abordar o problema no período crítico, farei algumas remissões às três Críticas, às Lições sobre a Doutrina Filosófica da Religião de 1783/84, às Lições de Ética e à Religião nos Limites da Simples Razão de 1793. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Il existe de nombreuses sources d’exigences. Certaines exigences sont normatives dans la mesure où elles impliquent des affirmations concernant ce que nous avons raison de croire, faire, désirer, etc. À ce titre, les exigences morales sont parmi les meilleures candidates. Si la morale exige que l’on tienne notre promesse, il semble que nous avons une raison de la tenir. Cependant, ce ne sont pas toutes les exigences qui sont normatives en ce sens. Le catholicisme exige que l’on assiste à la (...) messe chaque dimanche. Il ne s’ensuit pas pour autant que nous avons une raison d’y assister. Pourquoi cela? Pourquoi certaines exigences sont normatives en ce sens, mais pas d’autres? En vue de répondre à cette question, je défends la conception reasons-sensitive des exigences normatives, selon laquelle les exigences normatives sont celles et seulement celles qui sont sensibles aux raisons. Par contre, cette conception n’est pas la seule disponible. Selon ce que j’appelle la conception reasons-providing, les exigences normatives sont celles et seulement celles qui fournissent des raisons. Je soutiens que cette conception-ci est vulnérable à deux objections, ce qui nous donne raison de préférer la première. (shrink)